Device-Independent Verifiable Blind Quantum Computation

As progress on experimental quantum processors continues to advance, the problem of verifying the correct operation of such devices is becoming a pressing concern. Although recent progress has resulted in several protocols which can verify the output of a quantum computation performed by entangled but non-communicating processors, the overhead for such schemes is prohibitive, scaling at least as the 22nd power of the number of gates. We present a new approach based on a combination of verified blind quantum computation and Bell state self-testing. This approach has significantly reduced overhead, with resources scaling as a quartic polynomial in the number of gates.